Näytetään tulokset 1 - 10 / 13391
tulosta / sivu
Mitä julkaisutietoja palvelu sisältää?
Julkaisun nimi
Tekijät
Julkaisukanava
Vuosi
 Julkaisujen tiedon ikoni

Model checking PSL safety properties

Launiainen, Tuomas
-2009 Julkaisujen tiedon ikoni

Efficient Model Checking of Safety Properties

Vertaisarvioitu
Latvala, Timo
SPRINGER2003 Julkaisujen tiedon ikoni

On Model Checking Safety Properties

Latvala, Timo
-2002 Julkaisujen tiedon ikoni

Efficient Model Checking of PSL Safety Properties

Vertaisarvioitu
DOI
10.1049/iet-cdt.2010.0154
Launiainen, Tuomas; Heljanko, Keijo; Junttila, Tommi
IET Computers and Digital Techniques2011 Julkaisujen tiedon ikoni

Probiotic bacteria: Safety, functional and technological properties

Vertaisarvioitu
DOI
10.1016/S0168-1656(00)00375-8
Saarela, Maria; Mogensen, Gunnar; Fondén, Rangne; Mättö, Jaana; Mattila-Sandholm, Tiina
Journal of Biotechnology2000 Julkaisujen tiedon ikoni

Investigation of friction properties of various road surfaces affecting road safety

Pellinen, Terhi; Currie, Magnus; Valtonen, Jarkko
-2009 Julkaisujen tiedon ikoni

Safety Culture and Maritime Personnel´s Safety Attitudes

Lappalainen, Jouni; Salmi, Kim
-2009 Julkaisujen tiedon ikoni

The value of safety and safety as a value

Avoin saatavuus
Henriikka Ratilainen (Ed.); Simo Salminen; Gerard Zwetsloot; Pia Perttula; Annick Starren; Wouter ...
SAF€RA technical report2016 Julkaisujen tiedon ikoni

Safety Performance Indicators for Maritime Safety Management

Jalonen, Risto; Salmi, Kim
-2009 Julkaisujen tiedon ikoni

Multi-parameterised compositional verification of safety properties

Vertaisarvioitu
DOI
10.1016/j.ic.2015.08.002
Siirtola, Antti; Kortelainen, Juha
Information and computation2015

Model checking PSL safety properties

2009

Efficient Model Checking of Safety Properties

Vertaisarvioitu
2003

On Model Checking Safety Properties

2002

Efficient Model Checking of PSL Safety Properties

Vertaisarvioitu
DOI
10.1049/iet-cdt.2010.0154
2011

Probiotic bacteria: Safety, functional and technological properties

Vertaisarvioitu
DOI
10.1016/S0168-1656(00)00375-8
2000

Investigation of friction properties of various road surfaces affecting road safety

2009

Safety Culture and Maritime Personnel´s Safety Attitudes

2009

The value of safety and safety as a value

Avoin saatavuus
2016

Safety Performance Indicators for Maritime Safety Management

2009

Multi-parameterised compositional verification of safety properties

Vertaisarvioitu
DOI
10.1016/j.ic.2015.08.002
2015